Rename configure's --without-compress-info to --without-compress-install
authorGlenn Morris <rgm@gnu.org>
Sun, 8 Sep 2013 23:50:23 +0000 (16:50 -0700)
committerGlenn Morris <rgm@gnu.org>
Sun, 8 Sep 2013 23:50:23 +0000 (16:50 -0700)
commitadbd89a88ec5e90adad93b9469e44993db3ab68b
tree24cec71e0ae332e9bf0cffce74727207a9adb6af
parent59248945de0edc9f2d8fc1d89a3c651bacaeade3
Rename configure's --without-compress-info to --without-compress-install

* configure.ac (--without-compress-install):
Rename from --without-compress-info.

(GZIP_INFO): Remove.
(GZIP_PROG): Allow --without-compress-install to disable it.
* Makefile.in (GZIP_INFO): Remove all references.

* etc/NEWS: Mention this.
ChangeLog
Makefile.in
configure.ac
etc/NEWS